Girard, Jean R: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

Locus Solum: From the rules of logic to the logic of rules

GIRARD, JEAN-YVES

Journal:

Mathematical Structures in Computer Science

Year:

2001

Language:

english

File:

PDF, 1.85 MB

english, 2001

2

Linear logic

Jean-Yves Girard

Journal:

Theoretical Computer Science

Year:

1987

Language:

english

File:

PDF, 10.56 MB

english, 1987

3

Turkish Cultural Policies in a Global World || World Heritage Manufacture in Turkey and the Introduction of a New Public Policy System

Girard, Muriel, Polo, Jean-François, Scalbert-Yücel, Clémence

Year:

2018

Language:

english

File:

PDF, 273 KB

english, 2018

4

Light Linear Logic

Jean-Yves Girard

Journal:

Information and Computation

Year:

1998

Language:

english

File:

PDF, 464 KB

english, 1998

5

Alteration of neuromuscular function in squash

Olivier Girard, Jean-Paul Micallef, Julien Noual, Grégoire P. Millet

Journal:

Journal of Science and Medicine in Sport

Year:

2010

Language:

english

File:

PDF, 192 KB

english, 2010

6

From Foundations to Ludics

Jean-Yves Girard

Journal:

Bulletin of Symbolic Logic

Year:

2003

Language:

english

File:

PDF, 714 KB

english, 2003

7

Turkish Cultural Policies in a Global World ||

Girard, Muriel, Polo, Jean-François, Scalbert-Yücel, Clémence

Year:

2018

Language:

english

File:

PDF, 4.59 MB

english, 2018

8

Activité physique, estime de soi et condition physique : étude longitudinale d’une cohorte d’étudiants québécois

Lemoyne, Jean, Girard, Stéphanie

Journal:

Year:

2018

Language:

french

File:

PDF, 1.84 MB

french, 2018

9

Geometry of Interaction V: Logic in the hyperfinite factor

Jean-Yves Girard

Journal:

Theoretical Computer Science

Year:

2011

Language:

english

File:

PDF, 441 KB

english, 2011

10

Candidate vaccines for HIV

Marc Girard, Marie-Paule Kieny, Michaël Yagello, Jean-Claude Gluckman, Françoise Barré-Sinoussi, Patricia Fultz, Luc Montagnier, Jean Pierre Lecocq

Journal:

Year:

1989

Language:

english

File:

PDF, 195 KB

english, 1989

11

Testing clumped isotopes as a reservoir characterization tool: a comparison with fluid inclusions in a dolomitized sedimentary carbonate reservoir buried to 2–4 km

MacDonald, John M., John, Cédric M., Girard, Jean-Pierre

Journal:

Geological Society London Special Publications

Year:

2017

Language:

english

File:

PDF, 2.46 MB

english, 2017

12

Recherche et aide au développement : L'exemple de la santé

Jean-François Girard

Journal:

Comptes Rendus Biologies

Year:

2008

Language:

french

File:

PDF, 88 KB

french, 2008

13

Reduced hepatic fatty acid oxidation in fasting PPARα null mice is due to impaired mitochondrial hydroxymethylglutaryl-CoA synthase gene expression

Cédric Le May, Thierry Pineau, Karine Bigot, Claude Kohl, Jean Girard, Jean-Paul Pégorier

Journal:

Year:

2000

Language:

english

File:

PDF, 119 KB

english, 2000

14

Lower Limb Mechanical Properties: Significant References Omitted

Morin, Jean-Benoit, Girard, Olivier, Slawinski, Jean, Rabita, Giuseppe, Dalleau, Georges, Brughelli, Matt

Journal:

Sports Medicine

Year:

2013

Language:

english

File:

PDF, 181 KB

english, 2013

15

The Present State of the Problem of the Foundations of the Mathematics || Introduction to π½-Logic

Jean-Yves Girard

Journal:

Year:

1985

Language:

english

File:

PDF, 2.19 MB

english, 1985

16

Advances in Linear Logic || Linear Logic: its syntax and semantics

Girard, Jean-Yves, Lafont, Yves, Regnier, Laurent

Year:

1995

Language:

english

File:

PDF, 289 KB

english, 1995

17

Changes In Spring-mass Model Characteristics During Repeated Running Sprints

Girard, Olivier, Micallef, Jean-Paul, Millet, Grégoire P.

Journal:

Medicine & Science in Sports & Exercise

Year:

2010

Language:

english

File:

PDF, 97 KB

english, 2010

18

Simulation of membrane ageing to go ahead in fouling and cleaning understanding during skim milk ultrafiltration

Rabiller-Baudry, Murielle, Thomas, Patrick, Nguyen, Thi Khan Huyen, Girard, Jean, Jastimi, Massoud El Mansour El, Loulergue, Patrick

Journal:

Food and Bioproducts Processing

Year:

2018

Language:

english

File:

PDF, 2.26 MB

english, 2018

19

Wait and you shall see: sexual delay discounting in hypersexual Parkinson’s disease

Girard, Romuald, Obeso, Ignacio, Thobois, Stéphane, Park, Seongmin A, Vidal, Tiphaine, Favre, Emilie, Ulla, Miguel, Broussolle, Emmanuel, Krack, Paul, Durif, Franck, Dreher, Jean-Claude

Journal:

Year:

2018

Language:

english

File:

PDF, 957 KB

english, 2018

20

Object-oriented design of medical imaging software

Yves Ligier, Osman Ratib, Marianne Logean, Christian Girard, René Perrier, Jean Raoul Scherrer

Journal:

Computerized Medical Imaging and Graphics

Year:

1994

Language:

english

File:

PDF, 1.11 MB

english, 1994

21

The Psikharpax project: towards building an artificial rat

Jean-Arcady Meyer, Agnès Guillot, Benoît Girard, Mehdi Khamassi, Patrick Pirim, Alain Berthoz

Journal:

Robotics and Autonomous Systems

Year:

2005

Language:

english

File:

PDF, 619 KB

english, 2005

22

A short and efficient synthesis of unnatural (R)-nicotine

Sandrine Girard, Richard J Robins, Jean Villiéras, Jacques Lebreton

Journal:

Tetrahedron Letters

Year:

2000

Language:

english

File:

PDF, 81 KB

english, 2000

23

A new educational program for patients suffering from sleep apnea syndrome

Alain Golay, Anne Girard, Stéphane Grandin, Jean-Claude Métrailler, Michèle Victorion, Pascal Lebas, Juan Ybarra, Thierry Rochat

Journal:

Patient Education and Counseling

Year:

2006

Language:

english

File:

PDF, 144 KB

english, 2006

24

Housekeeping and tissue-specific genes in mouse tissues

Kouame E Kouadjo, Yuichiro Nishida, Jean F Cadrin-Girard, Mayumi Yoshioka, Jonny St-Amand

Journal:

Year:

2007

Language:

english

File:

PDF, 451 KB

english, 2007

25

Diagenesis of the Lower Cretaceous Arkoses of the Angola Margin: Petrologic, K/ar Dating and 18O/16O Evidence

Jean-Pierre Girard, (2) Samuel M. S,

Journal:

Journal of Sedimentary Research

Year:

1989

Language:

english

File:

PDF, 5.16 MB

english, 1989

26

Naphthoquinone Constituents of Commercial Lapacho/Pau d'arco/Taheebo Products

Awang, Dennis V. C., Dawson, Brian A., Ethier, Jean-Claude, Gentry, Alwyn H., Girard, Michel, Kindack, Daryl

Journal:

Journal of Herbs Spices & Medicinal Plants

Year:

1995

Language:

english

File:

PDF, 490 KB

english, 1995

27

Encapsulated nanodiamonds in smart microgels toward self-assembled diamond nanoarrays

Girard, Hugues A., Benayoun, Pierre, Blin, Candice, Trouvé, Adeline, Gesset, Céline, Arnault, Jean-Charles, Bergonzo, Philippe

Journal:

Diamond and Related Materials

Year:

2013

Language:

english

File:

PDF, 599 KB

english, 2013

28

Truth, modality and intersubjectivity

GIRARD, JEAN-YVES

Journal:

Mathematical Structures in Computer Science

Year:

2007

Language:

english

File:

PDF, 303 KB

english, 2007

29

CFRP drilling: Fundamental study of local feed force and consequences on hole exit damage.

Bonnet, Cédric, Poulachon, Gérard, Rech, Joël, Girard, Yannick, Costes, Jean Philippe

Journal:

International Journal of Machine Tools and Manufacture

Year:

2015

Language:

english

File:

PDF, 4.24 MB

english, 2015

30

Les Français et les valeurs du temps présent

Alain Girard and Jean Stoetzel

Journal:

Revue Française de Sociologie

Year:

1985

File:

PDF, 2.16 MB

1985

31

Developmental Associations Between Conduct Problems and Expressive Language in Early Childhood: A Population-Based Study

Girard, Lisa-Christine, Pingault, Jean-Baptiste, Doyle, Orla, Falissard, Bruno, Tremblay, Richard E.

Journal:

Journal of Abnormal Child Psychology

Year:

2016

Language:

english

File:

PDF, 528 KB

english, 2016

32

Long-chain fatty acids regulate liver carnitine palmitoyltransferase I gene (L-CPT I) expression through a peroxisome-proliferator-activated receptor α (PPARα)-independent pathway

LOUET, Jean-François, CHATELAIN, Florence, DECAUX, Jean-François, PARK, Edwards A., KOHL, Claude, PINEAU, Thierry, GIRARD, Jean, PEGORIER, Jean-Paul

Journal:

Biochemical Journal

Year:

2001

Language:

english

File:

PDF, 212 KB

english, 2001

33

Nouveaux documents sur la vie de Toussaint Louverture

Donnadieu, Jean-Louis, Girard, Philippe

Journal:

Bulletin de la Société d Histoire de la Guadeloupe

Year:

2013

Language:

french

File:

PDF, 1.49 MB

french, 2013

34

Mechanical Alterations during 800-m Self-Paced Track Running

Girard, Olivier, Millet, Gregoire, Micallef, Jean-Paul

Journal:

International Journal of Sports Medicine

Year:

2017

Language:

english

File:

PDF, 511 KB

english, 2017

35

Lower limb mechanical asymmetry during repeated treadmill sprints

Girard, Olivier, Brocherie, Franck, Morin, Jean-Benoit, Millet, Grégoire P.

Journal:

Human Movement Science

Year:

2017

Language:

english

File:

PDF, 641 KB

english, 2017

36

Social brains and divides: the interplay between social dominance orientation and the neural sensitivity to hierarchical ranks

Ligneul, Romain, Girard, Romuald, Dreher, Jean-Claude

Journal:

Scientific Reports

Year:

2017

Language:

english

File:

PDF, 767 KB

english, 2017

37

From Foundations to Ludics

Girard, Jean-Yves

Journal:

Bulletin of Symbolic Logic

Year:

2003

Language:

english

File:

PDF, 353 KB

english, 2003

38

Sharing the cost of river basin adaptation portfolios to climate change: Insights from social justice and cooperative game theory

Girard, Corentin, Rinaudo, Jean-Daniel, Pulido-Velazquez, Manuel

Journal:

Water Resources Research

Year:

2016

Language:

english

File:

PDF, 1.92 MB

english, 2016

39

Separation and identification of polar polyphenols in oily formulation using high-performance thin-layer chromatography and mass spectroscopy techniques

Fadel, Ophélie, Gomes Rodrigues, Donatien, Girard, Luc, Bauduin, Pierre, Rossignol-Castera, Anne, L’Hermitte, Annabelle, Gaillard, Jean-Charles, Diat, Olivier

Journal:

Year:

2018

File:

PDF, 776 KB

2018

40

Surfactant Foam Selection for Enhanced Light Non-Aqueous Phase Liquids (LNAPL) Recovery in Contaminated Aquifers

Longpré-Girard, Mélanie, Martel, Richard, Robert, Thomas, Lefebvre, René, Lauzon, Jean-Marc, Thomson, Neil

Journal:

Transport in Porous Media

Year:

2019

Language:

english

File:

PDF, 12.48 MB

english, 2019

41

1.18 STRENGTHS AND WEAKNESSES OF MEMORY IN ASD REVEALED BY A META-ANALYSIS

Desaunay, Pierre PD, Briant, Anaïs AB., Bowler, Dermot DB, Ring, Melanie MR., Gerardin, Priscille, Guénolé, Fabian, Baleyte, Jean-Marc, Eustache, Francis, Parienti, Jean-Jacques, Guillery-Girard, Bére

Journal:

Journal of the American Academy of Child & Adolescent Psychiatry

Year:

2019

Language:

english

File:

PDF, 125 KB

english, 2019

42

Advances in Linear Logic || Noncommutative proof nets

Girard, Jean-Yves, Lafont, Yves, Regnier, Laurent

Year:

1995

File:

PDF, 1.03 MB

1995

43

Asymmetries during repeated treadmill sprints in elite female Rugby Sevens players

Girard, Olivier, Racinais, SÃ©bastien, Couderc, Anthony, Morin, Jean-Benoit, Ryu, Joong Hyun, Piscione, Julien, Brocherie, Franck

Journal:

Sports Biomechanics

Year:

2020

File:

PDF, 1.94 MB

2020

44

Running mechanics and leg muscle activity patterns during early and late acceleration phases of repeated treadmill sprints in male recreational athletes

Girard, Olivier, Brocherie, Franck, Morin, Jean-Benoit, Millet, GrÃ©goire P., Hansen, Clint

Journal:

European Journal of Applied Physiology

Year:

2020

File:

PDF, 1.50 MB

2020

45

ChemInform Abstract: A Short and Efficient Synthesis of Unnatural (R)-Nicotine.

Sandrine Girard, Richard J. Robins, Jean Villieras, Jacques Lebreton

Journal:

Year:

2001

File:

PDF, 29 KB

2001

46

Set recursion and Πhalf-logic

Jean-Yves Girard, Dag Normann

Journal:

Annals of Pure and Applied Logic

Year:

1985

Language:

english

File:

PDF, 1.78 MB

english, 1985

47

Normal functors, power series and λ-calculus

Jean-Yves Girard

Journal:

Annals of Pure and Applied Logic

Year:

1988

Language:

english

File:

PDF, 5.58 MB

english, 1988

48

Fire risk analysis in ITER tritium building

Franck Lignini, Joëlle Uzan-Elbez, Jean-Philippe Girard, Maria Teresa Porfiri, Lina Rodríguez-Rodrigo

Journal:

Fusion Engineering and Design

Year:

2005

Language:

english

File:

PDF, 197 KB

english, 2005

49

Haemolytic activity, cytotoxicity and membrane cell permeabilization of semi-synthetic and natural lupane- and oleanane-type saponins

Charles Gauthier, Jean Legault, Karl Girard-Lalancette, Vakhtang Mshvildadze, André Pichette

Journal:

Bioorganic & Medicinal Chemistry

Year:

2009

Language:

english

File:

PDF, 697 KB

english, 2009

50

Bias-reduced extreme quantile estimators of Weibull tail-distributions

Jean Diebolt, Laurent Gardes, Stéphane Girard, Armelle Guillou

Journal:

Journal of Statistical Planning and Inference

Year:

2008

Language:

english

File:

PDF, 863 KB

english, 2008